perm filename COMMON.MEN[ESS,JMC] blob
sn#196429 filedate 1976-01-11 generic text, type T, neo UTF8
00100 TOWARDS A SCIENCE OF COMMON SENSE
00200
00300
00400 What are the facts about the world that everyone knows, and
00500 what are the modes of reasoning about the world that everyone accepts
00600 and can follow? The answers to these questions are essential to
00700 both artifical intelligence (henceforth to be abbreviated AI) and
00800 philosophy. For AI at least, the answers must be expressed in a
00900 formal logical language so that computer programs can verify and
01000 eventually construct chains of common sense reasoning. I believe,
01100 and will later argue, that this is also a requirement for philosophy
01200 to advance.
01300